//]]>
Rewriting Logic and Its Applications by Durán, Franciso. Publication: . VIII, 241 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modeling by Atzeni, Paolo. Publication: . XX, 592 p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Conceptual Modeling by Castano, Silvana. Publication: . XX, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Engineering and Knowledge Management by Teije, Annette. Publication: . XVIII, 452 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 227 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Ortmeier, Frank. Publication: . XVIII, 402 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Ortmeier, Frank. Publication: . XVI, 530 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by France, Robert B. Publication: . XX, 828 p. 298 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 427 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Aguilera, Marcos K. Publication: . XVI, 450 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Methods in Systems Biology by Gilbert, David. Publication: . XII, 396 p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2012 by Meersman, Robert. Publication: . XXV, 485 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model and Data Engineering by Abelló, Alberto. Publication: . XII, 187 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2012 by Meersman, Robert. Publication: . XXVI, 467 p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logistics by Hu, Hao. Publication: . X, 217 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stabilization, Safety, and Security of Distributed Systems by Richa, Andréa W. Publication: . XIX, 330 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Träff, Jesper Larsson. Publication: . XVI, 302 p. 108 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Su, Chun-Yi. Publication: . XXI, 715 p. 430 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Finkel, Alain. Publication: . XII, 149 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية